anil nerode meaning in French

anil nerode

The theorem is named for John Myhill and Anil Nerode, who proved it at the University of Chicago in 1958 (Nerode 1958).
Ce théorème porte les noms de John Myhill et Anil Nerode qui l'ont prouvé en 1958 (Nerode 1958).
In the theory of formal languages, the Myhill–Nerode theorem, proven by Myhill with Anil Nerode, characterizes the regular languages as the languages that have only finitely many inequivalent prefixes.
En théorie des langages formels, le théorème de Myhill-Nerode, prouvé par Myhill et Nerode, caractérise les langages rationnels comme étant les langages formels qui n'ont qu'un nombre fini de préfixes inéquivalents.